Method: PropertyAssertion(URI, boolean)

1: /*
2: * JOPA
3: * Copyright (C) 2024 Czech Technical University in Prague
4: *
5: * This library is free software; you can redistribute it and/or
6: * modify it under the terms of the GNU Lesser General Public
7: * License as published by the Free Software Foundation; either
8: * version 3.0 of the License, or (at your option) any later version.
9: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library.
17: */
18: package cz.cvut.kbss.ontodriver.model;
19:
20: import java.net.URI;
21: import java.util.Random;
22:
23: class PropertyAssertion extends Assertion {
24:
25: private static final URI UNSPECIFIED_PROPERTY = URI.create("http://" + Math.abs(new Random().nextInt(Integer.MAX_VALUE)));
26:
27: PropertyAssertion(boolean isInferred) {
28: super(UNSPECIFIED_PROPERTY, isInferred);
29: }
30:
31: PropertyAssertion(String language, boolean isInferred) {
32: super(UNSPECIFIED_PROPERTY, language, isInferred);
33: }
34:
35: PropertyAssertion(URI identifier, boolean isInferred) {
36: super(identifier, isInferred);
37: }
38:
39: PropertyAssertion(URI identifier, String language, boolean isInferred) {
40: super(identifier, language, isInferred);
41: }
42:
43: @Override
44: public AssertionType getType() {
45: return AssertionType.PROPERTY;
46: }
47:
48: @Override
49: public int hashCode() {
50: int prime = 31;
51: return prime * super.hashCode();
52: }
53:
54: @Override
55: public boolean equals(Object obj) {
56: return this == obj || super.equals(obj) && getClass() == obj.getClass();
57: }
58:
59: @Override
60: public String toString() {
61: return super.toString() + (language != null ? " @" + language : "");
62: }
63: }